🔗 Concatenative Programming - matmat · Scour

JavaScript vs Go: A Deep Dive into Syntax and Philosophy

dev.to·6h·

Discuss: DEV

⬆️Lambda Lifting

ECP-Solutions/ASF: The first embeddable scripting language and runtime that turns VBA into a script host (with NO COM dependencies) , with C-like syntax, closures, FFI for VBA calls, and the powerfull VBA-Expressions math integration.

github.com·6h·

Discuss: Hacker News

🦀Rust Macros

SDSL : a new/old shader programming language

stride3d.net·3d·

Discuss: r/programming

📝Concrete Syntax

Resolving Names Once and for All

thunderseethe.dev·1d·

Discuss: r/programming

⬆️Lambda Lifting

blog.senko.net·4h

🌳Incremental Parsing

AI Has Made it Easy to Own Your Tools

jimmyhmiller.github.io·1d

🤖Archive Automation

The production bug that made me care about undefined behavior

gaultier.github.io·14h·

Discuss: Hacker News, r/programming

🦀Rust Macros

TRUNAJOD: A text complexity library for text analysis built on spaCy — TRUNAJOD 0.1.1 documentation

trunajod20.readthedocs.io·9h

📝Parsing Grammars

Horton persistence progress

terracrypt.net·12h

🦀Rust Macros

A Validated Semantics for LLVM IR

sf.snu.ac.kr·13h

✅Formal Methods

From Zero to QED: An informal introduction to formality in Lean 4

sdiehl.github.io·1d

genodians.org·1d

🦀Rust Macros

Treating Functions as Vectors in Hilbert Space

hackaday.com·1d

📐Linear Algebra

Sketch‑Programming (LLM Transpiler)

dev.to·1d·

Discuss: DEV

🎯Gradual Typing

Port of Statistical Rethinking (2nd edition) code to Julia

shmuma.github.io·3h·

Discuss: Hacker News

λLambda Formalization

Cheney on the M.T.A.

plover.com·2d

⬆️Lambda Lifting

Final (?) version of my LLM proofreading macro

leancrew.com·7h

⚔️Lean Tactics

Favorite Compiler and Interpreter Resources

eatonphil.com·1d·

Discuss: Hacker News

📝Compiler Design

Introducing Pkl, a programming language for configuration

pkl-lang.org·5h

💧Liquid Types

Vibe Coding vs. Vibe Engineering

loufranco.com·1d

📏Code Metrics

Loading more...